val t = "p /\ q";
